- Expression bien formée
-
● Expression bien formée dans un système formel, assemblage de symboles qui a été obtenu en vertu des règles de formation en vigueur dans le système.
Encyclopédie Universelle. 2012.
Expression bien formée
Regardez d'autres dictionnaires:
expression — [ ɛkspresjɔ̃ ] n. f. • 1547; méd. 1314 ; lat. expressio, de exprimere → exprimer I ♦ Action ou manière d exprimer, de s exprimer. L expression d un sentiment, d une sensation, d un événement vécu. ⇒ extériorisation. Le langage a deux fonctions… … Encyclopédie Universelle
Expression booléenne — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
EBF — Expression Bien Formée. Sigle utilisé en logique: dans un système formel, assemblage de symbole obtenu en respectant les règles internes du dit système … Sigles et Acronymes francais
formule — [ fɔrmyl ] n. f. • 1496; fourmulle 1372; lat. formula, dimin. de forma → forme I ♦ Forme déterminée que l on est tenu ou que l on est convenu de respecter pour exprimer une idée, énoncer une règle ou exposer un fait. 1 ♦ Dr. Modèle qui contient… … Encyclopédie Universelle
SYMBOLE — Traditionnellement, le terme de symbole recouvre trois ensembles de significations nettement distincts. Le sens courant attribue à la notion de symbole un sens proche de celui d’analogie emblématique. La colombe est le symbole de la paix, le lion … Encyclopédie Universelle
E.B.F. — ● E.B.F. nom féminin En logique, abréviation de expression bien formée … Encyclopédie Universelle
MÉTRIQUE — La métrique est l’étude des régularités systématiques qui caractérisent la poésie littéraire versifiée, qu’il s’agisse des formes de vers (mètre ), de groupes de vers (strophe ) ou de poèmes entiers (forme fixe ). Son domaine peut s’étendre à des … Encyclopédie Universelle
EMPLOI — L’emploi désigne tout processus d’affectation des personnes à des tâches économiquement reconnues, le plus souvent rémunérées. En un sens plus large, le terme peut évidemment s’appliquer à l’utilisation d’un facteur de production (emploi d’un… … Encyclopédie Universelle
Signification (philosophie) — En philosophie la signification désigne un contenu de connaissance, non seulement le fond communicatif d une expression de la langue (ce qui relève de la philosophie du langage), mais aussi le sens, la valeur, l intention d un geste, d une pensée … Wikipédia en Français
CORPS — LES SAVOIRS et les pratiques qui ont pour objet le corps – médecine, arts plastiques, sémiologie, anthropologie, psychanalyse – ont à se débattre, dans la culture occidentale, avec deux traditions philosophiques, la cartésienne et… … Encyclopédie Universelle
